|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
|
|
Nauka o stvoření a teologie opomíjeného světa: Rozhovor s O. Clémentem, R. Rohrem, N. T. Wrightem a papežem Františkem
Paluchníková, Štěpánka ; Noble, Ivana (vedoucí práce) ; Kočandrle Bauer, Kateřina (oponent)
Diplomová práce s názvem Nauka o stvoření a teologie opomíjeného světa: Rozhovor s O. Clémentem, R. Rohrem, N. T. Wrightem a papežem Františkem má za cíl interpretovat nauku o stvoření a teologii světa tak, aby pomáhaly znovuobjevit význam současného opomíjeného světa jako obydleného a obyvatelného místa, které je stvořeno dobrým Stvořitelem, a které má skrze Krista eschatologickou orientaci a je mocí Ducha obnovováno. Hlavními postavami, se kterými vedu na toto téma rozhovor, jsou francouzský pravoslavný teolog Olivier Clément, americký františkán Richard Rohr, britský anglikánský teolog a biskup N. T. Wright a původem latinskoamerický papež František. Každý z nich pomáhá svým specifickým způsobem porozumět, v jakém smyslu může a má opomíjený svět, spolu s člověkem, docházet transformace, aby se "svět pro smrt stal světem pro slávu". Pomocí komparativní metody popisuji specifické přínosy jednotlivých autorů a formuluji svou tezi, že skrze perspektivu eucharistického, univerzálního, kontinuálního a dobrého stvoření lze přistoupit ke světu jako k dobrému a Bohem neopuštěnému místu.
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (vedoucí práce) ; Chára, Zdeněk (oponent) ; Skyba, Peter (oponent)
◆á③❡✈ ♣rá❝❡✿ ❑✈❛♥t♦✈á t✉r❜✉❧❡♥❝❡ ✈ s✉♣r❛t❡❦✉té♠ ❤é❧✐✉ st✉❞♦✈❛♥á ✈✐③✉❛❧✐③❛✲ ↔♥í♠✐ ♠❡t♦❞❛♠✐ ❆✉t♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❑❛t❡❞r❛✿ ❑❛t❡❞r❛ ❢②③✐❦② ♥í③❦ý❝❤ t❡♣❧♦t ❱❡❞♦✉❝í✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❦t✿ ❖s❝✐❧❛↔♥í ♣r♦✉❞➙♥í ✈ s✉♣r❛t❡❦✉té♠ ❛ ♥♦r♠á❧♥í♠ ❤é❧✐✉ ❜②❧❛ ③❦♦✉♠á♥❛ ✈✐③✉❛❧✐③❛↔♥í ♠❡t♦❞♦✉ s❧❡❞♦✈á♥í tr❛s♦✈❛❝í❝❤ ↔ást✐❝ ♣❡✈♥é❤♦ ❞❡✉t❡r✐❛ ♦ ♠✐❦r♦♠❡✲ tr♦✈é ✈❡❧✐❦♦st✐ s❡ ③❛♠➙➦❡♥í♠ ♥❛ ♠ír✉ ♣♦❞♦❜♥♦st✐ ↔✐ r♦③❞í❧♥♦st✐ ♠❡③✐ ❍❡ ■✱ ❦t❡ré ❥❡ ❦❧❛s✐❝❦♦✉ ✈✐s❦ó③♥í ❦❛♣❛❧✐♥♦✉✱ ❛ ❍❡ ■■✱ ❥❡➸ ❥❡ s✉♣r❛t❡❦✉té ❛ ❥❡❤♦➸ ❝✐r❦✉❧❛❝❡ ❥❡ ❦✈❛♥t♦✈❛♥á✳ ❱ ♣rá❝✐ ❥s♦✉ ♣♦♣sá♥② ✈ýs❧❡❞❦② tr♦❥✐❝❡ ❡①♣❡r✐♠❡♥t➲✿ ú♣❧❛✈ ③❛ r❡❧❛✲ t✐✈♥➙ ♣♦♠❛❧✉ ❦♠✐t❛❥í❝í ♣➦❡❦á➸❦♦✉ s r❡❧❛t✐✈♥➙ ✈❡❧❦ý♠ r♦③❦♠✐t❡♠ ✭sr♦✈♥❛t❡❧♥ý♠ s ✈❡❧✐❦♦stí ♣➦❡❦á➸❦②✮✱ st❛❝✐♦♥ár♥í ♣r♦✉❞➙♥í ✭❛♥❣❧✳✿ ✒str❡❛♠✐♥❣✏ ✮ ✈ ♦❦♦❧í r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦② s ♥í③❦♦✉ ❛♠♣❧✐t✉❞♦✉ ✭✈③❤❧❡❞❡♠ ❦ ❥❡❥í ✈❡❧✐❦♦st✐✮ ❛ ❦❛✈✐t❛❝❡ ✈ ♦❦♦❧í ❥✐♥é r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦②✳ ❍❧❛✈♥í♠ ✈ýs❧❡❞❦❡♠ ❥❡ ♣♦③♦r♦✈á♥í✱ ➸❡ ♦❞♣♦✈í❞❛❥í❝í ♣r♦✉❞➙♥í ✈ ❍❡ ■ ❛ ■■ s✐ ❥s♦✉ ♥❛ ✈❡❧❦ý❝❤ ♠➙➦ít❦á❝❤ ✈③á✲ ❥❡♠♥➙ ♣♦❞♦❜♥á✱ ③❛tí♠❝♦ ♥❛ ♠❛❧ý❝❤ ✈②❦❛③✉❥í ♥❛♣r♦st♦ r♦③❞í❧♥é st❛t✐st✐❝❦é ✈❧❛st✲ ♥♦st✐✳ ◆❛✈í❝ ✈ ♣➦í♣❛❞➙ ❍❡ ■■ ❥s♦✉ t②t♦ st❛t✐st✐❝❦é ✈❧❛st♥♦st✐ ✉♥✐✈❡r③á❧♥í ✈❡ s♠②s❧✉ ♥❡③á✈✐s❧♦st✐ ♥❛ ❞r✉❤✉ ③❦♦✉♠❛♥é❤♦ ♣r♦✉❞➙♥í ❛ ❥s♦✉ st❡❥♥é ❥❛❦♦ ✈ ♣➦í♣❛❞➙ t❡♣❡❧♥é❤♦ ♣r♦t✐♣r♦✉❞✉ s✉♣r❛t❡❦✉té ❛ ♥♦r♠á❧♥í s❧♦➸❦② ❍❡ ■■✱ ❝♦➸ ❥❡ ❦✈❛♥t♦✈ý ❞r✉❤ t❡♣❡❧♥é ❦♦♥✈❡❦❝❡...
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (vedoucí práce) ; Chára, Zdeněk (oponent) ; Skyba, Peter (oponent)
◆á③❡✈ ♣rá❝❡✿ ❑✈❛♥t♦✈á t✉r❜✉❧❡♥❝❡ ✈ s✉♣r❛t❡❦✉té♠ ❤é❧✐✉ st✉❞♦✈❛♥á ✈✐③✉❛❧✐③❛✲ ↔♥í♠✐ ♠❡t♦❞❛♠✐ ❆✉t♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❑❛t❡❞r❛✿ ❑❛t❡❞r❛ ❢②③✐❦② ♥í③❦ý❝❤ t❡♣❧♦t ❱❡❞♦✉❝í✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❦t✿ ❖s❝✐❧❛↔♥í ♣r♦✉❞➙♥í ✈ s✉♣r❛t❡❦✉té♠ ❛ ♥♦r♠á❧♥í♠ ❤é❧✐✉ ❜②❧❛ ③❦♦✉♠á♥❛ ✈✐③✉❛❧✐③❛↔♥í ♠❡t♦❞♦✉ s❧❡❞♦✈á♥í tr❛s♦✈❛❝í❝❤ ↔ást✐❝ ♣❡✈♥é❤♦ ❞❡✉t❡r✐❛ ♦ ♠✐❦r♦♠❡✲ tr♦✈é ✈❡❧✐❦♦st✐ s❡ ③❛♠➙➦❡♥í♠ ♥❛ ♠ír✉ ♣♦❞♦❜♥♦st✐ ↔✐ r♦③❞í❧♥♦st✐ ♠❡③✐ ❍❡ ■✱ ❦t❡ré ❥❡ ❦❧❛s✐❝❦♦✉ ✈✐s❦ó③♥í ❦❛♣❛❧✐♥♦✉✱ ❛ ❍❡ ■■✱ ❥❡➸ ❥❡ s✉♣r❛t❡❦✉té ❛ ❥❡❤♦➸ ❝✐r❦✉❧❛❝❡ ❥❡ ❦✈❛♥t♦✈❛♥á✳ ❱ ♣rá❝✐ ❥s♦✉ ♣♦♣sá♥② ✈ýs❧❡❞❦② tr♦❥✐❝❡ ❡①♣❡r✐♠❡♥t➲✿ ú♣❧❛✈ ③❛ r❡❧❛✲ t✐✈♥➙ ♣♦♠❛❧✉ ❦♠✐t❛❥í❝í ♣➦❡❦á➸❦♦✉ s r❡❧❛t✐✈♥➙ ✈❡❧❦ý♠ r♦③❦♠✐t❡♠ ✭sr♦✈♥❛t❡❧♥ý♠ s ✈❡❧✐❦♦stí ♣➦❡❦á➸❦②✮✱ st❛❝✐♦♥ár♥í ♣r♦✉❞➙♥í ✭❛♥❣❧✳✿ ✒str❡❛♠✐♥❣✏ ✮ ✈ ♦❦♦❧í r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦② s ♥í③❦♦✉ ❛♠♣❧✐t✉❞♦✉ ✭✈③❤❧❡❞❡♠ ❦ ❥❡❥í ✈❡❧✐❦♦st✐✮ ❛ ❦❛✈✐t❛❝❡ ✈ ♦❦♦❧í ❥✐♥é r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦②✳ ❍❧❛✈♥í♠ ✈ýs❧❡❞❦❡♠ ❥❡ ♣♦③♦r♦✈á♥í✱ ➸❡ ♦❞♣♦✈í❞❛❥í❝í ♣r♦✉❞➙♥í ✈ ❍❡ ■ ❛ ■■ s✐ ❥s♦✉ ♥❛ ✈❡❧❦ý❝❤ ♠➙➦ít❦á❝❤ ✈③á✲ ❥❡♠♥➙ ♣♦❞♦❜♥á✱ ③❛tí♠❝♦ ♥❛ ♠❛❧ý❝❤ ✈②❦❛③✉❥í ♥❛♣r♦st♦ r♦③❞í❧♥é st❛t✐st✐❝❦é ✈❧❛st✲ ♥♦st✐✳ ◆❛✈í❝ ✈ ♣➦í♣❛❞➙ ❍❡ ■■ ❥s♦✉ t②t♦ st❛t✐st✐❝❦é ✈❧❛st♥♦st✐ ✉♥✐✈❡r③á❧♥í ✈❡ s♠②s❧✉ ♥❡③á✈✐s❧♦st✐ ♥❛ ❞r✉❤✉ ③❦♦✉♠❛♥é❤♦ ♣r♦✉❞➙♥í ❛ ❥s♦✉ st❡❥♥é ❥❛❦♦ ✈ ♣➦í♣❛❞➙ t❡♣❡❧♥é❤♦ ♣r♦t✐♣r♦✉❞✉ s✉♣r❛t❡❦✉té ❛ ♥♦r♠á❧♥í s❧♦➸❦② ❍❡ ■■✱ ❝♦➸ ❥❡ ❦✈❛♥t♦✈ý ❞r✉❤ t❡♣❡❧♥é ❦♦♥✈❡❦❝❡...
|
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
|
|
Univerzalita a relativita lidských práv z pohledu islámu - případová studie Saúdská Arábie
Tošovská, Lucie ; Zemanová, Štěpánka (vedoucí práce) ; Novotná, Yvona (oponent)
Diplomová práce se zabývá univerzálním a kulturně relativním pohledem na lidská práva v islámu. Cílem práce je zjistit, zda je možné obhajovat porušování lidských práv v rámci koncepce kulturního relativismu v islámské civilizaci. Na základě provedené analýzy nejdůležitějších mezinárodních a regionálních instrumentů na ochranu lidských práv by práce měla zodpovědět otázku, jestli lze aplikovat teze kulturního relativismu v případě porušování lidských práv v Saúdské Arábii. Práce je systematicky rozdělena do tří kapitol, které se komplexně věnují dané problematice.
|
|
|
Etická vhodnost a správnost projektu Adopce na dálku
DUBA, Vladimír
Práce se zabývá projektem Adopce na dálku v Indii a hodnocení vhodností a správností z etického hlediska. První část představuje současnou Indii z politického, kulturního a náboženského pojetí. Druhá část se zaměřuje na prezentaci projektu Adopce na dálku, posuzuje vhodnost a účelnost jednotlivých části projektu. Třetí část se věnuje vymezení pojmů vhodnost a správnost a popisem katolického hlediska, ve kterém nachází ospravedlnění projektu na etické bázi. Toto ospravedlnění je dále rozvíjeno popisem Caritas ve trojí služběcírkve. Následuje začlenění člověka do sociálního učení církve a situační etika. Poté se práce věnuje pojmům subsidiarita, solidarita a univerzalita ve vztahu k charitativní práci. Poslední část je praktickým exkurzem do života komunitního centra v indickém městě Moobidri, kde proběhla autorova osobní vizitace.
|
|
|
Lidská práva v islámské společnosti: Komparace postavení ženy v Turecku a Saudské Arábii
Poustková, Karolína ; Lehmannová, Zuzana (vedoucí práce) ; Šabacká, Yvona (oponent)
Diplomová práce se věnuje lidským právům v islámu a jejich konkrétnímu zhodnocení v komparaci postavení ženy ve dvou rozdílných muslimských zemích. Přibližuje dva hlavní koncepty lidských práv: univerzalismus a kulturní relativismus a popisuje systém a strukturu islámského práva šaría, které determinuje jednotlivé muslimy a celou muslimskou společnost a ovlivňuje tudíž i samotné vnímání lidských práv. Hlavním cílem práce je 1) rozbor pojetí lidských práv z islámské perspektivy a to zejména v extrapolaci s převládajícím "univerzálním" modelem lidských práv a 2) srovnání statusu muslimské ženy v Turecku a Saúdské Arábii. Práce je rozdělena do čtyř na sebe navazujících částí. Úvodní dvě kapitoly uvádí čtenáře do obecné problematiky lidských práv a islámského náboženství, zbylé dva stěžejní oddíly se věnují výše zmíněným vytyčeným cílům. Objektivnost práce je zajištěna čerpáním informací z pestré škály především cizojazyčných zdrojů, z nichž nemalý podíl tvoří studie OSN a zprávy nevládních mezinárodních organizací jako Human Rights Watch či Amnesty International.
|
|
| |
host ::
RSS.